Science of Logic

Results: 5317



#Item
71

A Functional Logic Database Library Sebastian Fischer Christian-Albrechts-University of Kiel Institute of Computer Science OlshausenstrKiel, Germany

Add to Reading List

Source URL: www-ps.informatik.uni-kiel.de

- Date: 2014-06-15 10:44:19
    72

    Appears in Computer Science Logic: Proceedings of the 18th International Workshop CSL 2004, Karpacz, Poland, September 20–24, 2004, Lecture Notes in Computer Science 3210, pages 235–249. Springer-Verlag, 2004. A Depe

    Add to Reading List

    Source URL: www2.tcs.ifi.lmu.de

    - Date: 2005-11-20 08:43:18
      73

      Studying Frequency Effects in Learning Center-embedded Recursion Jun Lai (J.Lai@ tilburguniversity.edu) Tilburg Center for Logic and Philosophy of Science; Tilburg Center for Cognition and Communication, Tilburg Universi

      Add to Reading List

      Source URL: mindmodeling.org

      - Date: 2014-08-06 20:52:15
        74

        Efficient Bijective Gödel Numberings for Term Algebras Paul Tarau1 1 Department of Computer Science and Engineering

        Add to Reading List

        Source URL: logic.cse.unt.edu

        - Date: 2010-05-18 10:11:53
          75

          Journal of Universal Computer Science, vol. 22, no), submitted: 6/1/16, accepted: , appeared: 1/8/16 © J.UCS A Domain Reasoner for Propositional Logic Josje Lodder (Open University of The Nethe

          Add to Reading List

          Source URL: www.jucs.org

          - Date: 2016-11-29 05:05:01
            76

            Dynamic Frames in Java Dynamic Logic Peter H. Schmitt, Mattias Ulbrich, and Benjamin Weiß Karlsruhe Institute of Technology Institute for Theoretical Computer Science DKarlsruhe, Germany {pschmitt,mulbrich,bweiss

            Add to Reading List

            Source URL: i12www.iti.kit.edu

            - Date: 2010-06-02 04:06:07
              77

              A Logic-based Framework for Mobile Intelligent Information Agents Naoki Fukuta, Takayuki Ito, and Toramatsu Shintani Nagoya Institute of Technology Dept. Intelligence and Computer Science Gokiso-cho, Showa-ku, Nagoya, 46

              Add to Reading List

              Source URL: www10.org

              - Date: 2001-03-15 03:31:16
                78

                Building Verified Language Tools in Operational Type Theory Aaron Stump Computational Logic Center Computer Science Department The University of Iowa

                Add to Reading List

                Source URL: www.cis.upenn.edu

                - Date: 2008-10-15 15:02:55
                  79

                  LA CREENCIA Alexander BainTraducción castellana de Armando Daniel OtamendiEste texto, tomado del volumen de Alexander Bain Professor of Logic in the University of Aberdeen, Mental and Moral Science. Part

                  Add to Reading List

                  Source URL: www.unav.es

                  - Date: 2010-01-22 05:27:45
                    80

                    FaCT++ Description Logic Reasoner: System Description Dmitry Tsarkov and Ian Horrocks School of Computer Science The University of Manchester Manchester, UK

                    Add to Reading List

                    Source URL: www.cs.man.ac.uk

                    - Date: 2015-02-05 09:51:10
                      UPDATE